module: jass.sh
name: Jass Assertion Language
Description:
Since the various DBC (Design-By-Contract) approaches are based
on the idea of including specifications into the code and then pre-compiling
them into runtime checks, MOP is expected to smoothly include these approaches
provided that appropriate logic plug-ins are developed. To test and evaluate
this hypothesis, we have implemented a Java logic plug-in for JASS, so users of
JAVA-MOP can state JASS annotations in their code. Check the syntax and 
semantics of JASS at: <a href="http://csd.informatik.uni-oldenburg.de/~jass/doc/">
The Jass Page</a>
::
